2019년 춘계 학술대회
Current Result Document :
| 한글제목(Korean Title) |
Concolic Testing 기반 프로그램 상호작용 슬라이싱 기법 설계 |
| 영문제목(English Title) |
Design of interactive slicing method based on Concolic Testing |
| 저자(Author) |
서강복
김덕엽
이우진
Kang Bok Seo
Deok-Yeop Kim
Woo-Jin Lee
|
| 원문수록처(Citation) |
VOL 26 NO. 01 PP. 0350 ~ 0352 (2019. 05) |
한글내용
(Korean Abstract) |
프로그램 슬라이싱은 처음 발표된 이후로 지금까지 다양하게 연구되어 테스팅, 디버깅, 개발, 유지 보수 등 다양한 분야에서 사용되어 왔다. 프로그램 슬라이싱을 수행하기 위해서는 기준이 되는 변수에 대해 소스코드 내에 존재하는 모든 라인들에 대해 의존성을 계산하여 프로그램 슬라이싱을 수행하게 된다. 하지만 지정된 변수에 대해서만 의존성 계산을 수행하기 때문에 프로그램을 실행 가능하게 하는 정보들에 대해서는 누락될 수 있고 이 경우의 프로그램 실행은 보장되지 않을 수 있다. 이러한 문제를 개선하기 위해 본 논문에서는 concolic testing 기법을 이용하여 기준이 되는 변수에 대한 의존성 있는 구문들을 추출하고 프로그램 실행에 요구되는 구문들을 같이 추출해낼 수 있는 프로그램 상호작용 슬라이싱 기법을 제안한다. |
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
